Class invariant - PDFSEARCH.IO - Document Search Engine

Class invariant
Results: 50

#	Item
21	Proceedings ICMC\|SMC\|September 2014, Athens, Greece Timbre-invariant Audio Features for Style Analysis of Classical Music Christof Weiß Add to Reading List Source URL: matthiasmauch.de Language: English - Date: 2015-01-08 12:39:01 Chord Pitch class Interval Harmony Key Timbre Tone cluster DV Piano Music Post-tonal music theory Musical notation
22	Programming Concurrency on the JVM Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2011-08-24 21:45:23 Software design patterns Method Threads Object-oriented programming C++ Constructor Java C++ classes Class invariant Computing Computer programming Software engineering
23	ENGINEERING PHYSICS 3W4 DAY CLASS Dr. Wm. Garland DURATION: 30 minutes McMASTER UNIVERSITY QUIZ #1 January 27, 2000 Add to Reading List Source URL: www.nuceng.ca Language: English - Date: 2015-01-10 23:34:19 Control theory Electronic test equipment Electronic circuits Signal processing Convolution Image processing Oscilloscope Capacitor Time-invariant system Electromagnetism Technology Electronics
24	Reasoning about Asynchronous Method Calls and Inheritance Johan Dovland, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract This paper considers the problem of reusing synchronizatio Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 13:57:58 Object-oriented programming Inheritance Objective-C Class invariant Multiple inheritance Lock Eiffel Asynchronous method invocation Class Software engineering Computer programming Computing
25	Embedded Contract Languages Manuel Fähndrich Michael Barnett Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-11-13 18:01:10 Logic in computer science Programming paradigms Cross-platform software Object-oriented programming Procedural programming languages Postcondition Design by contract Precondition Class invariant Software engineering Computing Computer programming
26	Object-oriented paradigm presents the most direct and natural medium for modeling automation problems Add to Reading List Source URL: www.zhmicro.com Language: English - Date: 2015-01-01 22:54:49 Object-oriented programming Class invariant Control flow Invariant Postcondition Constructor Class Emmy Noether Exception handling Software engineering Computer programming Computing
27	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 1 Concordia University, Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.eecs.ucf.edu Language: English - Date: 2007-01-29 15:18:04 Logic in computer science Formal methods Programming paradigms Java Modeling Language Java platform Object-oriented programming Postcondition Class invariant Design by contract Software engineering Computing Theoretical computer science
28	Advances in Programming Languages APL14: Practical tools for Java Correctness David Aspinall (slides originally by Ian Stark) School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-12 12:50:26 Java Modeling Language Java platform ESC/Java Vienna Development Method Java Class invariant E Computing Software engineering Computer programming
29	RIMS Kˆ okyˆ uroku Bessatsu B19 (2010), 249–254 Factorization of Shintani’s ray class invariant for Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2010-06-05 19:31:20
30	Mathematisches Forschungsinstitut Oberwolfach Report No[removed]DOI: [removed]OWR[removed]Low-Dimensional Topology and Number Theory Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-10-08 22:45:03 Differential geometry Differential topology Manifold Mapping class group Chern–Simons theory Knot invariant Riemann surface Hyperbolic manifold Homology sphere Topology Geometric topology Homology theory